Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings (Lecture Notes in Computer Science)
by Stavros Konstantinidis
ISBN 13: 9783642392733
Format: Paperback (372 pages) Publisher: Springer Published: 19 Jul 2013
Save for later
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings: 10952 (Lecture Notes in Computer Science)
by Stavros Konstantinidis,Giovanni Pighizzini
ISBN 13: 9783319946306
Format: Paperback (268 pages) Publisher: Springer Published: 11 Jul 2018